1. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
المؤلف: Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development
رده :
QA
76
.
L28
Vol
.
1708-1709
2. Formal specification :
المؤلف: Nimal Nissanke.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
